theorem2-1

To manipulate this construction, download Cabri II Plus plug-in.